Nuprl Definition : rec def
12,41
postcript
pdf
rec(
x
.
A
(
x
)) is Primitive
latex
origin